Bashir Makhoul’s Beijing installation Enter Ghost, Exit Ghost is a maze made out of lenticular images of a Palestinian village that leads to a stack of cardboard boxes that could be a town, a military training camp, or just a heap of damaged packing containers. This article reads the installation through an initial misrecognition, seeing the boxes as a version of ancient Anasazi cliff dwellings. This displacement, where one place recalls somewhere else, is pursued through a discussion of W.J.T. Mitchell’s (...) reflections on comparative ‘promised lands’, Israeli artist Larry Abramson’s notion of abstraction as camouflage, Eyal Weizman’s analysis of simulated battle-spaces, and Mark Twain’s critical reading of desert spaces in the western US and Palestine. The article argues that Makhoul’s work calls up a series of associations between times and places that speaks not only to the specific but to a broader global hermeneutics of empire based on symbolic overdetermination and strategic concealment and erasure. (shrink)

Although the theory of definability had many important antecedents—such as the descriptive set theory initiated by the French semi-intuitionists in the early 1900s—the main ideas were first laid out in precise mathematical terms by Alfred Tarski beginning in 1929. We review here the basic notions of languages, explicit definability, and grammatical complexity, and emphasize common themes in the theories of definability for four important languages underlying, respectively, descriptive set theory, recursive function theory, classical pure logic, and finite-universe logic. We review (...) the history of previous studies of the similarities and differences in the theories of definability of the first three of these four languages. A seminal role leading toward unification of the theories has been played by the separation principles introduced by Nikolai Luzin in 1927. Emphasizing analogies and driving toward further unification embracing finite-universe logic we concentrate on a simple example—the first and second separation principles for existential-universal first-order sentences . Using this as a test case for the fundamental problem of how to “finitize” arguments in classical pure logic to the finite-universe case, we are led to the analogous negative solution by using the theory of certain special graphs: a graph is - special for any positive integers m , n , p , q iff it is bipartite with m red points and n blue points and for every p -tuple of red points there is a blue point to which they are all connected . As an aside we introduce for further study a natural “Ramseyesque” increasing sequence A of positive integers, where A is the least positive integer n for which an -special graph exists. (shrink)